- Сюръекция
-
Отображение называется сюръективным (или сюръекцией, или отображением на ), если каждый элемент множества является образом хотя бы одного элемента множества , то есть . Для случая числовых функций это выражается как «функция, принимающая все возможные значения».
Содержание
Эквивалентные определения
Следующие свойства отображения эквивалентны:
- сюръективно
- каждый элемент множества имеет хотя бы один прообраз во множестве при отображении .
- образ множества при отображении совпадает с
- имеет правое обратное отображение, то есть такое отображение , что для любого .
Примеры
- — сюръективно.
- — сюръективно.
- — не является сюръективным (например, не существует такого , что ).
Использование модели
В информатике
Организация связи «многие к одному» между таблицами реляционной БД на основе первичных ключей
См. также
Литература
- Н. К. Верещагин, А.Шень. Начала теории множеств // Лекции по математической логике и теории алгоритмов.
- Ершов Ю. Л., Палютин Е. А. Математическая логика: Учебное пособие. — 3-е, стереотип. изд. — СПб.: Лань, 2004. — 336 с.
Категории:- Теория множеств
- Типы функций
Wikimedia Foundation. 2010.